- logical type names
- Телекоммуникации: имена логического типа
Универсальный англо-русский словарь. Академик.ру. 2011.
logical type names
Смотреть что такое "logical type names" в других словарях:
Logical positivism — (also known as logical empiricism, scientific philosophy, and neo positivism) is a philosophy that combines empiricism the idea that observational evidence is indispensable for knowledge with a version of rationalism incorporating mathematical… … Wikipedia
Logical security — consists of software safeguards for an organization’s systems, including user ID and password access, authentication, access rights and authority levels. These measures are to ensure that only authorized users are able to perform actions or… … Wikipedia
Logical Journey Of The Zoombinis — The Logical Journey of the Zoombinis Developer(s) Brøderbund Software Publisher(s) … Wikipedia
logical relation — ▪ logic those relations between the elements of discourse or thought that constitute its rationality, in the sense either of (1) reasonableness or (2) intelligibility. A statement may be perfectly intelligible without being based upon any… … Universalium
Descriptivist theory of names — is a view of the nature of the meaning and reference of proper names generally attributed to Gottlob Frege and Bertrand Russell. The theory consists essentially in the idea that the meanings (semantic contents) of names are identical to the… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
X logical font description — (XLFD) is a font standard used by the X Window System. It is intended to support:* unique, descriptive font names that support simple pattern matching * multiple font vendors, arbitrary character sets, and encodings * naming and instancing of… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Relational model — The relational model for database management is a database model based on first order predicate logic, first formulated and proposed in 1969 by Edgar Codd. [ Derivability, Redundancy, and Consistency of Relations Stored in Large Data Banks , E.F … Wikipedia
Comparison of Pascal and C — Programming language comparisons General comparison Basic syntax Basic instructions Arrays Associative arrays String operations … Wikipedia
Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions … Wikipedia
